Issue2075.agda:5,1-19
Unexpected implicit argument
when checking that the clause F {x = unit} = Set has type
Unit → Set₁
